Proofs as Terms - pogi-log